Explanation-based generalisation = partial evaluation
نویسندگان
چکیده
منابع مشابه
Explanation-Based Generalisation = Partial Evaluation
We argue that explanation-based generalisation as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well known technique in the functional and logic programming literature. We show this equivalence by analysing the definitions and underlying algorithms of both techniques, and by giving a Prolog program which can be interpreted as doing eithe...
متن کاملExplanation-based Generalisation = Partial Evaluation 1
We argue that explanation-based generalisation as recently proposed in the machine learning literature is essentially equivalent to partial evaluation, a well known technique in the functional and logic programming literature. We show this equivalence by analysing the deenitions and underlying algorithms of both techniques, and by giving a Prolog program which can be interpreted as doing either...
متن کاملLazy Partial Evaluation: An Integration of Explanation-Based Generalization and Partial Evaluation
In this paper we present lazy partial evaluation (LPE), a new learning technique which is a hybrid of explanation-based generalisation (EBG) and partial evaluation (PE). LPE operates in a similar way to EBG, except that the work performed exploring failed proofs is also generalised and stored. The equivalence of the set of explored proofs to the original goal de nition allows LPE to replace (ra...
متن کاملUsing Regular Approximations for Generalisation During Partial Evaluation
On-line partial evaluation algorithms include a generalisation step, which is needed to ensure termination. In partial evaluation of logic and functional programs, the usual generalisation operation applied to computation states is the most speci c generalisation (msg) of expressions. This can cause loss of information, which is especially serious in programs whose computations rst build some i...
متن کاملGoal-Based Explanation Evaluation
Many theories of explanation evaluation are based on context-independent criteria. Such theories either restrict their consideration to explanation towards a fixed goal, or assume that all valid explanations are equivalent, so that evaluation criteria can be neutral to the goals underlying the attempt to explain. However, explanation can serve a range of purposes that place widely divergent req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1988
ISSN: 0004-3702
DOI: 10.1016/0004-3702(88)90088-4